test-abs

2021-11-18

info

Used nodes: {hype1}

summary

coverage

The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

eager_values

Domain-wise reports only support numeric attributes, but eager_values has type list.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

error

error-search-out-of-memory

error-search-out-of-time

error-success

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

evaluations_per_time

Only instances where all algorithms have a value for "evaluations_per_time" are considered. Each table entry gives the geometric mean of "evaluations_per_time" for that domain. The bottom row reports the geometric mean across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

expansions

Only instances where all algorithms have a value for "expansions" are considered. Each table entry gives the geometric mean of "expansions" for that domain. The bottom row reports the geometric mean across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

h_values

Domain-wise reports only support numeric attributes, but h_values has type list.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

initial_h_value

Only instances where all algorithms have a value for "initial_h_value" are considered. Each table entry gives the finite sum of "initial_h_value" for that domain. The bottom row reports the finite sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

lazy_values

Domain-wise reports only support numeric attributes, but lazy_values has type list.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

max_lowerbound

Domain-wise reports only support numeric attributes, but max_lowerbound has type list.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

mean_lowerbound

Domain-wise reports only support numeric attributes, but mean_lowerbound has type list.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

mean_mentions

Only instances where all algorithms have a value for "mean_mentions" are considered. Each table entry gives the sum of "mean_mentions" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

mean_operators

Only instances where all algorithms have a value for "mean_operators" are considered. Each table entry gives the sum of "mean_operators" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

memory

Only instances where all algorithms have a value for "memory" are considered. Each table entry gives the sum of "memory" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

min_lowerbound

Domain-wise reports only support numeric attributes, but min_lowerbound has type list.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

operators

Only instances where all algorithms have a value for "operators" are considered. Each table entry gives the sum of "operators" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

plan_length

Only instances where all algorithms have a value for "plan_length" are considered. Each table entry gives the sum of "plan_length" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

restrictions

Only instances where all algorithms have a value for "restrictions" are considered. Each table entry gives the sum of "restrictions" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

run_dir

Domain-wise reports only support numeric attributes, but run_dir has type str.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

search_start_memory

Only instances where all algorithms have a value for "search_start_memory" are considered. Each table entry gives the sum of "search_start_memory" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

search_start_time

Only instances where all algorithms have a value for "search_start_time" are considered. Each table entry gives the sum of "search_start_time" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

total_time

Only instances where all algorithms have a value for "total_time" are considered. Each table entry gives the geometric mean of "total_time" for that domain. The bottom row reports the geometric mean across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips